Feeds to Scour
SubscribedAll
Scoured 15532 posts in 341.8 ms
Reduction for Structured Concurrent Programs
arxiv.org·1d
🧠Program Logic
Preview
Report Post
Heaps do lie: debugging a memory leak in vLLM.
mistral.ai·18h·
Discuss: Hacker News
🧠Memory Forensics
Preview
Report Post
Modernizing Legacy C Systems: Safe Rust Integration Without Complete Rewrites
dev.to·19h·
Discuss: DEV
🦀Embedded Rust
Preview
Report Post
Multi-Modal Program Verification in Velvet
proofsandintuitions.net·1d·
Discuss: Hacker News
⚖️Verification Calculi
Preview
Report Post
SplittingSecrets: A Compiler-Based Defense for Preventing Data Memory-Dependent Prefetcher Side-Channels
arxiv.org·1d
💨Cache Analysis
Preview
Report Post
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.com·21h
📊Static Analysis
Preview
Report Post
One part of me wonders whether this would’ve been caught earlier if I spent some more time analizing the possible approaches for this refactor. Honestl...
lmika.org·5h
🔓Reverse engineering
Preview
Report Post
Explainer: Tree-sitter vs. LSP
lambdaland.org·1d
🌳Context free grammars
Preview
Report Post
Filtering as domain logic
blog.ploeh.dk·2d·
Discuss: r/programming
🗄️Database Internals
Preview
Report Post
Decoupling the AI Stack: How to Architect a Production-Grade Local LLM System
dev.to·5h·
Discuss: DEV
💻Local LLMs
Preview
Report Post
BPF Verifier State Pruning: Timeline
pchaigno.github.io·2d
🛡️Archive Verification
Preview
Report Post
vandragt.com·1d
✅Format Verification
Preview
Report Post
Making an LSP for great good
thunderseethe.dev·1d·
Discuss: Lobsters, Hacker News
🌳Incremental Parsing
Preview
Report Post
CAP Theorem Explained: Beyond the "Pick Two" Myth
blog.ahmazin.dev·3h·
Discuss: Hacker News
🤝Consensus Algorithms
Preview
Report Post
Gödel’s Theorems (and logicisms) revisited
logicmatters.net·2d
🔬Logic in Computer Science
Preview
Report Post
Stop Overusing Interfaces (2017)
blog.hovland.xyz·19h·
Discuss: Hacker News
🔌Interface Evolution
Preview
Report Post
Understanding C++ Ownership System
blog.aiono.dev·2d·
Discuss: Lobsters, Hacker News
🦀Rust Borrowing
Preview
Report Post
Introducing VulHunt: A High-Level Look at Binary Vulnerability Detection
binarly.io·1d
🔬Binary Analysis
Preview
Report Post
Building Modern Databases with the FDAP Stack • Andrew Lamb & Olimpiu Pop
youtube.com·1d
🦀Rusty Databases
Preview
Report Post
Software as clay on the wheel
dri.es·1d
⚡Proof Automation
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help